Natural computation - PDFSEARCH.IO - Document Search Engine

Natural computation
Results: 158

#	Item
151	Elimination with a Motive Conor McBride Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-11-07 05:35:59 Logic in computer science Theory of computation Deduction Natural deduction Proof theory Structural induction Function Fold Motive Mathematics Mathematical logic Logic
152	Biological Computation Melanie Mitchell Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2013-03-11 16:16:35 Mathematics Computation Bio-inspired computing Ant Actor model Natural computing Lateral computing Theoretical computer science Applied mathematics Computer science
153	E. Y. Bann and J. J. Bryson Proceedings of the 13th Neural Computation and Psychology Workshop (NCPW13), July 2012 Add to Reading List Source URL: aeir.co.uk Language: English - Date: 2013-09-06 13:17:37 Natural language processing Feeling Affect Emotion Latent semantic analysis Document-term matrix Semantic similarity Search engine indexing Vector space model Information science Information retrieval Science
154	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2006-11-24 14:08:53 Models of computation Dependently typed programming Type theory Functional languages Functional programming Generalized algebraic data type Standard ML Lambda calculus Natural deduction Software engineering Declarative programming Computing
155	Propositions as Sessions Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-08-31 07:10:39 Theoretical computer science Proof theory Predicate logic Computability theory Models of computation Π-calculus Function Natural deduction Generalization Mathematics Mathematical logic Logic
156	PDF Document Add to Reading List Source URL: www.cs.gmu.edu Language: English - Date: 2010-08-26 22:14:21 Theory of computation Models of computation Computability theory Turing machine Algorithm Computation Church–Turing thesis Natural computing Turing completeness Theoretical computer science Computer science Applied mathematics
157	PDF Document Add to Reading List Source URL: psystems.disco.unimib.it Language: English - Date: 2007-05-16 09:36:27 Models of computation Cell biology Membrane computing Natural computing P system Biological membrane Cell membrane Multiset Mitochondrion Biology Membrane biology Organelles
158	PDF Document Add to Reading List Source URL: iscid.org Language: English Applied mathematics Mathematical optimization Theoretical computer science Evolutionary biology Evolution Genetic algorithm Evolutionary computation Lawrence J. Fogel Natural selection Science Cybernetics Intelligent design

UPDATE